Assumptions: cogenerating set, self-dual
Conclusions: generating set
Reason: This holds by self-duality.